# SPDX-License-Identifier: Apache-2.0

kernel_library()
kernel_library_sources(
  main.c init_task.c rootserver.c
)
